// Generated from MathOCL.g4 by ANTLR 4.8
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;

@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast"})
public class MathOCLLexer extends Lexer {
	static { RuntimeMetaData.checkVersion("4.8", RuntimeMetaData.VERSION); }

	protected static final DFA[] _decisionToDFA;
	protected static final PredictionContextCache _sharedContextCache =
		new PredictionContextCache();
	public static final int
		T__0=1, T__1=2, T__2=3, T__3=4, T__4=5, T__5=6, T__6=7, T__7=8, T__8=9, 
		T__9=10, T__10=11, T__11=12, T__12=13, T__13=14, T__14=15, T__15=16, T__16=17, 
		T__17=18, T__18=19, T__19=20, T__20=21, T__21=22, T__22=23, T__23=24, 
		T__24=25, T__25=26, T__26=27, T__27=28, T__28=29, T__29=30, T__30=31, 
		T__31=32, T__32=33, T__33=34, T__34=35, T__35=36, T__36=37, T__37=38, 
		T__38=39, T__39=40, T__40=41, T__41=42, T__42=43, T__43=44, T__44=45, 
		T__45=46, T__46=47, T__47=48, T__48=49, T__49=50, T__50=51, T__51=52, 
		T__52=53, T__53=54, T__54=55, T__55=56, T__56=57, T__57=58, T__58=59, 
		T__59=60, T__60=61, T__61=62, T__62=63, T__63=64, T__64=65, T__65=66, 
		T__66=67, T__67=68, T__68=69, T__69=70, T__70=71, T__71=72, T__72=73, 
		T__73=74, T__74=75, T__75=76, T__76=77, T__77=78, T__78=79, T__79=80, 
		T__80=81, T__81=82, FLOAT_LITERAL=83, STRING_LITERAL=84, NULL_LITERAL=85, 
		MULTILINE_COMMENT=86, IN=87, NOTIN=88, INTEGRAL=89, SIGMA=90, PRODUCT=91, 
		INFINITY=92, DIFFERENTIAL=93, PARTIALDIFF=94, FORALL=95, EXISTS=96, EMPTYSET=97, 
		SQUAREROOT=98, ARROW=99, NATURAL=100, INTEGER=101, REAL=102, CDOT=103, 
		NEWLINE=104, INT=105, ID=106, WS=107;
	public static String[] channelNames = {
		"DEFAULT_TOKEN_CHANNEL", "HIDDEN"
	};

	public static String[] modeNames = {
		"DEFAULT_MODE"
	};

	private static String[] makeRuleNames() {
		return new String[] {
			"T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", "T__7", "T__8", 
			"T__9", "T__10", "T__11", "T__12", "T__13", "T__14", "T__15", "T__16", 
			"T__17", "T__18", "T__19", "T__20", "T__21", "T__22", "T__23", "T__24", 
			"T__25", "T__26", "T__27", "T__28", "T__29", "T__30", "T__31", "T__32", 
			"T__33", "T__34", "T__35", "T__36", "T__37", "T__38", "T__39", "T__40", 
			"T__41", "T__42", "T__43", "T__44", "T__45", "T__46", "T__47", "T__48", 
			"T__49", "T__50", "T__51", "T__52", "T__53", "T__54", "T__55", "T__56", 
			"T__57", "T__58", "T__59", "T__60", "T__61", "T__62", "T__63", "T__64", 
			"T__65", "T__66", "T__67", "T__68", "T__69", "T__70", "T__71", "T__72", 
			"T__73", "T__74", "T__75", "T__76", "T__77", "T__78", "T__79", "T__80", 
			"T__81", "FLOAT_LITERAL", "STRING_LITERAL", "NULL_LITERAL", "MULTILINE_COMMENT", 
			"EscapeSequence", "HexDigits", "HexDigit", "Digits", "IN", "NOTIN", "INTEGRAL", 
			"SIGMA", "PRODUCT", "INFINITY", "DIFFERENTIAL", "PARTIALDIFF", "FORALL", 
			"EXISTS", "EMPTYSET", "SQUAREROOT", "ARROW", "NATURAL", "INTEGER", "REAL", 
			"CDOT", "NEWLINE", "INT", "ID", "WS"
		};
	}
	public static final String[] ruleNames = makeRuleNames();

	private static String[] makeLiteralNames() {
		return new String[] {
			null, "'specification'", "'Define'", "'='", "'~'", "'Constraint'", "'on'", 
			"'|'", "'Theorem'", "'when'", "'Rewrite'", "'to'", "'Simplify'", "'Substitute'", 
			"'for'", "'in'", "'Solve'", "'Prove'", "'if'", "'Expanding'", "'terms'", 
			"'Expand'", "'Express'", "'as'", "'polynomial'", "'Factor'", "'by'", 
			"'Cancel'", "'Group'", "','", "'Sequence'", "'('", "')'", "'Set'", "'Bag'", 
			"'OrderedSet'", "'Map'", "'Function'", "'true'", "'false'", "'?'", "'.'", 
			"'g{'", "'}'", "'then'", "'else'", "'endif'", "'lambda'", "':'", "'let'", 
			"'&'", "'and'", "'or'", "'xor'", "'=>'", "'implies'", "'not'", "'<'", 
			"'>'", "'>='", "'<='", "'/='", "'<>'", "'/:'", "'<:'", "'+'", "'-'", 
			"'..'", "'|->'", "'C_{'", "'^{'", "'E['", "']'", "'lim_{'", "'*'", "'/'", 
			"'mod'", "'div'", "'_{'", "'!'", "'{'", "'Set{'", "'Sequence{'", null, 
			null, "'null'", null, "'\u00A9'", "'\u00A2'", "'\u2021'", "'\u20AC'", 
			"'\u00D7'", "'\u2026'", "'\u00B4'", "'\u00D0'", "'\u00A1'", "'\u00A3'", 
			"'\u00D8'", "'\u2020'", "'\u00BB'", "'\u00D1'", "'\u017D'", "'\u00AE'", 
			"'\u2022'"
		};
	}
	private static final String[] _LITERAL_NAMES = makeLiteralNames();
	private static String[] makeSymbolicNames() {
		return new String[] {
			null, null, null, null, null, null, null, null, null, null, null, null, 
			null, null, null, null, null, null, null, null, null, null, null, null, 
			null, null, null, null, null, null, null, null, null, null, null, null, 
			null, null, null, null, null, null, null, null, null, null, null, null, 
			null, null, null, null, null, null, null, null, null, null, null, null, 
			null, null, null, null, null, null, null, null, null, null, null, null, 
			null, null, null, null, null, null, null, null, null, null, null, "FLOAT_LITERAL", 
			"STRING_LITERAL", "NULL_LITERAL", "MULTILINE_COMMENT", "IN", "NOTIN", 
			"INTEGRAL", "SIGMA", "PRODUCT", "INFINITY", "DIFFERENTIAL", "PARTIALDIFF", 
			"FORALL", "EXISTS", "EMPTYSET", "SQUAREROOT", "ARROW", "NATURAL", "INTEGER", 
			"REAL", "CDOT", "NEWLINE", "INT", "ID", "WS"
		};
	}
	private static final String[] _SYMBOLIC_NAMES = makeSymbolicNames();
	public static final Vocabulary VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES);

	/**
	 * @deprecated Use {@link #VOCABULARY} instead.
	 */
	@Deprecated
	public static final String[] tokenNames;
	static {
		tokenNames = new String[_SYMBOLIC_NAMES.length];
		for (int i = 0; i < tokenNames.length; i++) {
			tokenNames[i] = VOCABULARY.getLiteralName(i);
			if (tokenNames[i] == null) {
				tokenNames[i] = VOCABULARY.getSymbolicName(i);
			}

			if (tokenNames[i] == null) {
				tokenNames[i] = "<INVALID>";
			}
		}
	}

	@Override
	@Deprecated
	public String[] getTokenNames() {
		return tokenNames;
	}

	@Override

	public Vocabulary getVocabulary() {
		return VOCABULARY;
	}


	public MathOCLLexer(CharStream input) {
		super(input);
		_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
	}

	@Override
	public String getGrammarFileName() { return "MathOCL.g4"; }

	@Override
	public String[] getRuleNames() { return ruleNames; }

	@Override
	public String getSerializedATN() { return _serializedATN; }

	@Override
	public String[] getChannelNames() { return channelNames; }

	@Override
	public String[] getModeNames() { return modeNames; }

	@Override
	public ATN getATN() { return _ATN; }

	public static final String _serializedATN =
		"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\2m\u02eb\b\1\4\2\t"+
		"\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13"+
		"\t\13\4\f\t\f\4\r\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22"+
		"\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4\30\t\30\4\31\t\31"+
		"\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36\t\36\4\37\t\37\4 \t \4!"+
		"\t!\4\"\t\"\4#\t#\4$\t$\4%\t%\4&\t&\4\'\t\'\4(\t(\4)\t)\4*\t*\4+\t+\4"+
		",\t,\4-\t-\4.\t.\4/\t/\4\60\t\60\4\61\t\61\4\62\t\62\4\63\t\63\4\64\t"+
		"\64\4\65\t\65\4\66\t\66\4\67\t\67\48\t8\49\t9\4:\t:\4;\t;\4<\t<\4=\t="+
		"\4>\t>\4?\t?\4@\t@\4A\tA\4B\tB\4C\tC\4D\tD\4E\tE\4F\tF\4G\tG\4H\tH\4I"+
		"\tI\4J\tJ\4K\tK\4L\tL\4M\tM\4N\tN\4O\tO\4P\tP\4Q\tQ\4R\tR\4S\tS\4T\tT"+
		"\4U\tU\4V\tV\4W\tW\4X\tX\4Y\tY\4Z\tZ\4[\t[\4\\\t\\\4]\t]\4^\t^\4_\t_\4"+
		"`\t`\4a\ta\4b\tb\4c\tc\4d\td\4e\te\4f\tf\4g\tg\4h\th\4i\ti\4j\tj\4k\t"+
		"k\4l\tl\4m\tm\4n\tn\4o\to\4p\tp\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3"+
		"\2\3\2\3\2\3\2\3\2\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\4\3\4\3\5\3\5\3\6\3\6"+
		"\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\6\3\7\3\7\3\7\3\b\3\b\3\t\3\t\3\t\3"+
		"\t\3\t\3\t\3\t\3\t\3\n\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\13\3\13\3"+
		"\13\3\13\3\f\3\f\3\f\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\16\3\16\3\16"+
		"\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\16\3\17\3\17\3\17\3\17\3\20\3\20"+
		"\3\20\3\21\3\21\3\21\3\21\3\21\3\21\3\22\3\22\3\22\3\22\3\22\3\22\3\23"+
		"\3\23\3\23\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\25\3\25"+
		"\3\25\3\25\3\25\3\25\3\26\3\26\3\26\3\26\3\26\3\26\3\26\3\27\3\27\3\27"+
		"\3\27\3\27\3\27\3\27\3\27\3\30\3\30\3\30\3\31\3\31\3\31\3\31\3\31\3\31"+
		"\3\31\3\31\3\31\3\31\3\31\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\33\3\33"+
		"\3\33\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\35\3\35\3\35\3\35\3\35\3\35"+
		"\3\36\3\36\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3 \3 \3!\3!\3"+
		"\"\3\"\3\"\3\"\3#\3#\3#\3#\3$\3$\3$\3$\3$\3$\3$\3$\3$\3$\3$\3%\3%\3%\3"+
		"%\3&\3&\3&\3&\3&\3&\3&\3&\3&\3\'\3\'\3\'\3\'\3\'\3(\3(\3(\3(\3(\3(\3)"+
		"\3)\3*\3*\3+\3+\3+\3,\3,\3-\3-\3-\3-\3-\3.\3.\3.\3.\3.\3/\3/\3/\3/\3/"+
		"\3/\3\60\3\60\3\60\3\60\3\60\3\60\3\60\3\61\3\61\3\62\3\62\3\62\3\62\3"+
		"\63\3\63\3\64\3\64\3\64\3\64\3\65\3\65\3\65\3\66\3\66\3\66\3\66\3\67\3"+
		"\67\3\67\38\38\38\38\38\38\38\38\39\39\39\39\3:\3:\3;\3;\3<\3<\3<\3=\3"+
		"=\3=\3>\3>\3>\3?\3?\3?\3@\3@\3@\3A\3A\3A\3B\3B\3C\3C\3D\3D\3D\3E\3E\3"+
		"E\3E\3F\3F\3F\3F\3G\3G\3G\3H\3H\3H\3I\3I\3J\3J\3J\3J\3J\3J\3K\3K\3L\3"+
		"L\3M\3M\3M\3M\3N\3N\3N\3N\3O\3O\3O\3P\3P\3Q\3Q\3R\3R\3R\3R\3R\3S\3S\3"+
		"S\3S\3S\3S\3S\3S\3S\3S\3T\3T\3T\3T\3U\3U\3U\7U\u0269\nU\fU\16U\u026c\13"+
		"U\3U\3U\3V\3V\3V\3V\3V\3W\3W\3W\3W\7W\u0279\nW\fW\16W\u027c\13W\3W\3W"+
		"\3W\3W\3W\3X\3X\3X\3X\5X\u0287\nX\3X\5X\u028a\nX\3X\3X\3X\6X\u028f\nX"+
		"\rX\16X\u0290\3X\3X\3X\3X\3X\5X\u0298\nX\3Y\3Y\3Y\7Y\u029d\nY\fY\16Y\u02a0"+
		"\13Y\3Y\5Y\u02a3\nY\3Z\3Z\3[\6[\u02a8\n[\r[\16[\u02a9\3\\\3\\\3]\3]\3"+
		"^\3^\3_\3_\3`\3`\3a\3a\3b\3b\3c\3c\3d\3d\3e\3e\3f\3f\3g\3g\3h\3h\3i\3"+
		"i\3j\3j\3k\3k\3l\3l\3m\6m\u02cf\nm\rm\16m\u02d0\3m\3m\3n\6n\u02d6\nn\r"+
		"n\16n\u02d7\3o\6o\u02db\no\ro\16o\u02dc\3o\7o\u02e0\no\fo\16o\u02e3\13"+
		"o\3p\6p\u02e6\np\rp\16p\u02e7\3p\3p\3\u027a\2q\3\3\5\4\7\5\t\6\13\7\r"+
		"\b\17\t\21\n\23\13\25\f\27\r\31\16\33\17\35\20\37\21!\22#\23%\24\'\25"+
		")\26+\27-\30/\31\61\32\63\33\65\34\67\359\36;\37= ?!A\"C#E$G%I&K\'M(O"+
		")Q*S+U,W-Y.[/]\60_\61a\62c\63e\64g\65i\66k\67m8o9q:s;u<w=y>{?}@\177A\u0081"+
		"B\u0083C\u0085D\u0087E\u0089F\u008bG\u008dH\u008fI\u0091J\u0093K\u0095"+
		"L\u0097M\u0099N\u009bO\u009dP\u009fQ\u00a1R\u00a3S\u00a5T\u00a7U\u00a9"+
		"V\u00abW\u00adX\u00af\2\u00b1\2\u00b3\2\u00b5\2\u00b7Y\u00b9Z\u00bb[\u00bd"+
		"\\\u00bf]\u00c1^\u00c3_\u00c5`\u00c7a\u00c9b\u00cbc\u00cdd\u00cfe\u00d1"+
		"f\u00d3g\u00d5h\u00d7i\u00d9j\u00dbk\u00ddl\u00dfm\3\2\f\6\2\f\f\17\17"+
		"$$^^\n\2$$))^^ddhhppttvv\3\2\62\65\3\2\629\5\2\62;CHch\3\2\62;\4\2\f\f"+
		"\17\17\5\2C\\aac|\6\2&&\62;C\\c|\5\2\13\f\17\17\"\"\2\u02f7\2\3\3\2\2"+
		"\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17\3"+
		"\2\2\2\2\21\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3\2\2\2\2\31\3\2\2"+
		"\2\2\33\3\2\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2!\3\2\2\2\2#\3\2\2\2\2%\3\2"+
		"\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2\2\2\2-\3\2\2\2\2/\3\2\2\2\2\61\3\2"+
		"\2\2\2\63\3\2\2\2\2\65\3\2\2\2\2\67\3\2\2\2\29\3\2\2\2\2;\3\2\2\2\2=\3"+
		"\2\2\2\2?\3\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E\3\2\2\2\2G\3\2\2\2\2I\3\2\2"+
		"\2\2K\3\2\2\2\2M\3\2\2\2\2O\3\2\2\2\2Q\3\2\2\2\2S\3\2\2\2\2U\3\2\2\2\2"+
		"W\3\2\2\2\2Y\3\2\2\2\2[\3\2\2\2\2]\3\2\2\2\2_\3\2\2\2\2a\3\2\2\2\2c\3"+
		"\2\2\2\2e\3\2\2\2\2g\3\2\2\2\2i\3\2\2\2\2k\3\2\2\2\2m\3\2\2\2\2o\3\2\2"+
		"\2\2q\3\2\2\2\2s\3\2\2\2\2u\3\2\2\2\2w\3\2\2\2\2y\3\2\2\2\2{\3\2\2\2\2"+
		"}\3\2\2\2\2\177\3\2\2\2\2\u0081\3\2\2\2\2\u0083\3\2\2\2\2\u0085\3\2\2"+
		"\2\2\u0087\3\2\2\2\2\u0089\3\2\2\2\2\u008b\3\2\2\2\2\u008d\3\2\2\2\2\u008f"+
		"\3\2\2\2\2\u0091\3\2\2\2\2\u0093\3\2\2\2\2\u0095\3\2\2\2\2\u0097\3\2\2"+
		"\2\2\u0099\3\2\2\2\2\u009b\3\2\2\2\2\u009d\3\2\2\2\2\u009f\3\2\2\2\2\u00a1"+
		"\3\2\2\2\2\u00a3\3\2\2\2\2\u00a5\3\2\2\2\2\u00a7\3\2\2\2\2\u00a9\3\2\2"+
		"\2\2\u00ab\3\2\2\2\2\u00ad\3\2\2\2\2\u00b7\3\2\2\2\2\u00b9\3\2\2\2\2\u00bb"+
		"\3\2\2\2\2\u00bd\3\2\2\2\2\u00bf\3\2\2\2\2\u00c1\3\2\2\2\2\u00c3\3\2\2"+
		"\2\2\u00c5\3\2\2\2\2\u00c7\3\2\2\2\2\u00c9\3\2\2\2\2\u00cb\3\2\2\2\2\u00cd"+
		"\3\2\2\2\2\u00cf\3\2\2\2\2\u00d1\3\2\2\2\2\u00d3\3\2\2\2\2\u00d5\3\2\2"+
		"\2\2\u00d7\3\2\2\2\2\u00d9\3\2\2\2\2\u00db\3\2\2\2\2\u00dd\3\2\2\2\2\u00df"+
		"\3\2\2\2\3\u00e1\3\2\2\2\5\u00ef\3\2\2\2\7\u00f6\3\2\2\2\t\u00f8\3\2\2"+
		"\2\13\u00fa\3\2\2\2\r\u0105\3\2\2\2\17\u0108\3\2\2\2\21\u010a\3\2\2\2"+
		"\23\u0112\3\2\2\2\25\u0117\3\2\2\2\27\u011f\3\2\2\2\31\u0122\3\2\2\2\33"+
		"\u012b\3\2\2\2\35\u0136\3\2\2\2\37\u013a\3\2\2\2!\u013d\3\2\2\2#\u0143"+
		"\3\2\2\2%\u0149\3\2\2\2\'\u014c\3\2\2\2)\u0156\3\2\2\2+\u015c\3\2\2\2"+
		"-\u0163\3\2\2\2/\u016b\3\2\2\2\61\u016e\3\2\2\2\63\u0179\3\2\2\2\65\u0180"+
		"\3\2\2\2\67\u0183\3\2\2\29\u018a\3\2\2\2;\u0190\3\2\2\2=\u0192\3\2\2\2"+
		"?\u019b\3\2\2\2A\u019d\3\2\2\2C\u019f\3\2\2\2E\u01a3\3\2\2\2G\u01a7\3"+
		"\2\2\2I\u01b2\3\2\2\2K\u01b6\3\2\2\2M\u01bf\3\2\2\2O\u01c4\3\2\2\2Q\u01ca"+
		"\3\2\2\2S\u01cc\3\2\2\2U\u01ce\3\2\2\2W\u01d1\3\2\2\2Y\u01d3\3\2\2\2["+
		"\u01d8\3\2\2\2]\u01dd\3\2\2\2_\u01e3\3\2\2\2a\u01ea\3\2\2\2c\u01ec\3\2"+
		"\2\2e\u01f0\3\2\2\2g\u01f2\3\2\2\2i\u01f6\3\2\2\2k\u01f9\3\2\2\2m\u01fd"+
		"\3\2\2\2o\u0200\3\2\2\2q\u0208\3\2\2\2s\u020c\3\2\2\2u\u020e\3\2\2\2w"+
		"\u0210\3\2\2\2y\u0213\3\2\2\2{\u0216\3\2\2\2}\u0219\3\2\2\2\177\u021c"+
		"\3\2\2\2\u0081\u021f\3\2\2\2\u0083\u0222\3\2\2\2\u0085\u0224\3\2\2\2\u0087"+
		"\u0226\3\2\2\2\u0089\u0229\3\2\2\2\u008b\u022d\3\2\2\2\u008d\u0231\3\2"+
		"\2\2\u008f\u0234\3\2\2\2\u0091\u0237\3\2\2\2\u0093\u0239\3\2\2\2\u0095"+
		"\u023f\3\2\2\2\u0097\u0241\3\2\2\2\u0099\u0243\3\2\2\2\u009b\u0247\3\2"+
		"\2\2\u009d\u024b\3\2\2\2\u009f\u024e\3\2\2\2\u00a1\u0250\3\2\2\2\u00a3"+
		"\u0252\3\2\2\2\u00a5\u0257\3\2\2\2\u00a7\u0261\3\2\2\2\u00a9\u0265\3\2"+
		"\2\2\u00ab\u026f\3\2\2\2\u00ad\u0274\3\2\2\2\u00af\u0297\3\2\2\2\u00b1"+
		"\u0299\3\2\2\2\u00b3\u02a4\3\2\2\2\u00b5\u02a7\3\2\2\2\u00b7\u02ab\3\2"+
		"\2\2\u00b9\u02ad\3\2\2\2\u00bb\u02af\3\2\2\2\u00bd\u02b1\3\2\2\2\u00bf"+
		"\u02b3\3\2\2\2\u00c1\u02b5\3\2\2\2\u00c3\u02b7\3\2\2\2\u00c5\u02b9\3\2"+
		"\2\2\u00c7\u02bb\3\2\2\2\u00c9\u02bd\3\2\2\2\u00cb\u02bf\3\2\2\2\u00cd"+
		"\u02c1\3\2\2\2\u00cf\u02c3\3\2\2\2\u00d1\u02c5\3\2\2\2\u00d3\u02c7\3\2"+
		"\2\2\u00d5\u02c9\3\2\2\2\u00d7\u02cb\3\2\2\2\u00d9\u02ce\3\2\2\2\u00db"+
		"\u02d5\3\2\2\2\u00dd\u02da\3\2\2\2\u00df\u02e5\3\2\2\2\u00e1\u00e2\7u"+
		"\2\2\u00e2\u00e3\7r\2\2\u00e3\u00e4\7g\2\2\u00e4\u00e5\7e\2\2\u00e5\u00e6"+
		"\7k\2\2\u00e6\u00e7\7h\2\2\u00e7\u00e8\7k\2\2\u00e8\u00e9\7e\2\2\u00e9"+
		"\u00ea\7c\2\2\u00ea\u00eb\7v\2\2\u00eb\u00ec\7k\2\2\u00ec\u00ed\7q\2\2"+
		"\u00ed\u00ee\7p\2\2\u00ee\4\3\2\2\2\u00ef\u00f0\7F\2\2\u00f0\u00f1\7g"+
		"\2\2\u00f1\u00f2\7h\2\2\u00f2\u00f3\7k\2\2\u00f3\u00f4\7p\2\2\u00f4\u00f5"+
		"\7g\2\2\u00f5\6\3\2\2\2\u00f6\u00f7\7?\2\2\u00f7\b\3\2\2\2\u00f8\u00f9"+
		"\7\u0080\2\2\u00f9\n\3\2\2\2\u00fa\u00fb\7E\2\2\u00fb\u00fc\7q\2\2\u00fc"+
		"\u00fd\7p\2\2\u00fd\u00fe\7u\2\2\u00fe\u00ff\7v\2\2\u00ff\u0100\7t\2\2"+
		"\u0100\u0101\7c\2\2\u0101\u0102\7k\2\2\u0102\u0103\7p\2\2\u0103\u0104"+
		"\7v\2\2\u0104\f\3\2\2\2\u0105\u0106\7q\2\2\u0106\u0107\7p\2\2\u0107\16"+
		"\3\2\2\2\u0108\u0109\7~\2\2\u0109\20\3\2\2\2\u010a\u010b\7V\2\2\u010b"+
		"\u010c\7j\2\2\u010c\u010d\7g\2\2\u010d\u010e\7q\2\2\u010e\u010f\7t\2\2"+
		"\u010f\u0110\7g\2\2\u0110\u0111\7o\2\2\u0111\22\3\2\2\2\u0112\u0113\7"+
		"y\2\2\u0113\u0114\7j\2\2\u0114\u0115\7g\2\2\u0115\u0116\7p\2\2\u0116\24"+
		"\3\2\2\2\u0117\u0118\7T\2\2\u0118\u0119\7g\2\2\u0119\u011a\7y\2\2\u011a"+
		"\u011b\7t\2\2\u011b\u011c\7k\2\2\u011c\u011d\7v\2\2\u011d\u011e\7g\2\2"+
		"\u011e\26\3\2\2\2\u011f\u0120\7v\2\2\u0120\u0121\7q\2\2\u0121\30\3\2\2"+
		"\2\u0122\u0123\7U\2\2\u0123\u0124\7k\2\2\u0124\u0125\7o\2\2\u0125\u0126"+
		"\7r\2\2\u0126\u0127\7n\2\2\u0127\u0128\7k\2\2\u0128\u0129\7h\2\2\u0129"+
		"\u012a\7{\2\2\u012a\32\3\2\2\2\u012b\u012c\7U\2\2\u012c\u012d\7w\2\2\u012d"+
		"\u012e\7d\2\2\u012e\u012f\7u\2\2\u012f\u0130\7v\2\2\u0130\u0131\7k\2\2"+
		"\u0131\u0132\7v\2\2\u0132\u0133\7w\2\2\u0133\u0134\7v\2\2\u0134\u0135"+
		"\7g\2\2\u0135\34\3\2\2\2\u0136\u0137\7h\2\2\u0137\u0138\7q\2\2\u0138\u0139"+
		"\7t\2\2\u0139\36\3\2\2\2\u013a\u013b\7k\2\2\u013b\u013c\7p\2\2\u013c "+
		"\3\2\2\2\u013d\u013e\7U\2\2\u013e\u013f\7q\2\2\u013f\u0140\7n\2\2\u0140"+
		"\u0141\7x\2\2\u0141\u0142\7g\2\2\u0142\"\3\2\2\2\u0143\u0144\7R\2\2\u0144"+
		"\u0145\7t\2\2\u0145\u0146\7q\2\2\u0146\u0147\7x\2\2\u0147\u0148\7g\2\2"+
		"\u0148$\3\2\2\2\u0149\u014a\7k\2\2\u014a\u014b\7h\2\2\u014b&\3\2\2\2\u014c"+
		"\u014d\7G\2\2\u014d\u014e\7z\2\2\u014e\u014f\7r\2\2\u014f\u0150\7c\2\2"+
		"\u0150\u0151\7p\2\2\u0151\u0152\7f\2\2\u0152\u0153\7k\2\2\u0153\u0154"+
		"\7p\2\2\u0154\u0155\7i\2\2\u0155(\3\2\2\2\u0156\u0157\7v\2\2\u0157\u0158"+
		"\7g\2\2\u0158\u0159\7t\2\2\u0159\u015a\7o\2\2\u015a\u015b\7u\2\2\u015b"+
		"*\3\2\2\2\u015c\u015d\7G\2\2\u015d\u015e\7z\2\2\u015e\u015f\7r\2\2\u015f"+
		"\u0160\7c\2\2\u0160\u0161\7p\2\2\u0161\u0162\7f\2\2\u0162,\3\2\2\2\u0163"+
		"\u0164\7G\2\2\u0164\u0165\7z\2\2\u0165\u0166\7r\2\2\u0166\u0167\7t\2\2"+
		"\u0167\u0168\7g\2\2\u0168\u0169\7u\2\2\u0169\u016a\7u\2\2\u016a.\3\2\2"+
		"\2\u016b\u016c\7c\2\2\u016c\u016d\7u\2\2\u016d\60\3\2\2\2\u016e\u016f"+
		"\7r\2\2\u016f\u0170\7q\2\2\u0170\u0171\7n\2\2\u0171\u0172\7{\2\2\u0172"+
		"\u0173\7p\2\2\u0173\u0174\7q\2\2\u0174\u0175\7o\2\2\u0175\u0176\7k\2\2"+
		"\u0176\u0177\7c\2\2\u0177\u0178\7n\2\2\u0178\62\3\2\2\2\u0179\u017a\7"+
		"H\2\2\u017a\u017b\7c\2\2\u017b\u017c\7e\2\2\u017c\u017d\7v\2\2\u017d\u017e"+
		"\7q\2\2\u017e\u017f\7t\2\2\u017f\64\3\2\2\2\u0180\u0181\7d\2\2\u0181\u0182"+
		"\7{\2\2\u0182\66\3\2\2\2\u0183\u0184\7E\2\2\u0184\u0185\7c\2\2\u0185\u0186"+
		"\7p\2\2\u0186\u0187\7e\2\2\u0187\u0188\7g\2\2\u0188\u0189\7n\2\2\u0189"+
		"8\3\2\2\2\u018a\u018b\7I\2\2\u018b\u018c\7t\2\2\u018c\u018d\7q\2\2\u018d"+
		"\u018e\7w\2\2\u018e\u018f\7r\2\2\u018f:\3\2\2\2\u0190\u0191\7.\2\2\u0191"+
		"<\3\2\2\2\u0192\u0193\7U\2\2\u0193\u0194\7g\2\2\u0194\u0195\7s\2\2\u0195"+
		"\u0196\7w\2\2\u0196\u0197\7g\2\2\u0197\u0198\7p\2\2\u0198\u0199\7e\2\2"+
		"\u0199\u019a\7g\2\2\u019a>\3\2\2\2\u019b\u019c\7*\2\2\u019c@\3\2\2\2\u019d"+
		"\u019e\7+\2\2\u019eB\3\2\2\2\u019f\u01a0\7U\2\2\u01a0\u01a1\7g\2\2\u01a1"+
		"\u01a2\7v\2\2\u01a2D\3\2\2\2\u01a3\u01a4\7D\2\2\u01a4\u01a5\7c\2\2\u01a5"+
		"\u01a6\7i\2\2\u01a6F\3\2\2\2\u01a7\u01a8\7Q\2\2\u01a8\u01a9\7t\2\2\u01a9"+
		"\u01aa\7f\2\2\u01aa\u01ab\7g\2\2\u01ab\u01ac\7t\2\2\u01ac\u01ad\7g\2\2"+
		"\u01ad\u01ae\7f\2\2\u01ae\u01af\7U\2\2\u01af\u01b0\7g\2\2\u01b0\u01b1"+
		"\7v\2\2\u01b1H\3\2\2\2\u01b2\u01b3\7O\2\2\u01b3\u01b4\7c\2\2\u01b4\u01b5"+
		"\7r\2\2\u01b5J\3\2\2\2\u01b6\u01b7\7H\2\2\u01b7\u01b8\7w\2\2\u01b8\u01b9"+
		"\7p\2\2\u01b9\u01ba\7e\2\2\u01ba\u01bb\7v\2\2\u01bb\u01bc\7k\2\2\u01bc"+
		"\u01bd\7q\2\2\u01bd\u01be\7p\2\2\u01beL\3\2\2\2\u01bf\u01c0\7v\2\2\u01c0"+
		"\u01c1\7t\2\2\u01c1\u01c2\7w\2\2\u01c2\u01c3\7g\2\2\u01c3N\3\2\2\2\u01c4"+
		"\u01c5\7h\2\2\u01c5\u01c6\7c\2\2\u01c6\u01c7\7n\2\2\u01c7\u01c8\7u\2\2"+
		"\u01c8\u01c9\7g\2\2\u01c9P\3\2\2\2\u01ca\u01cb\7A\2\2\u01cbR\3\2\2\2\u01cc"+
		"\u01cd\7\60\2\2\u01cdT\3\2\2\2\u01ce\u01cf\7i\2\2\u01cf\u01d0\7}\2\2\u01d0"+
		"V\3\2\2\2\u01d1\u01d2\7\177\2\2\u01d2X\3\2\2\2\u01d3\u01d4\7v\2\2\u01d4"+
		"\u01d5\7j\2\2\u01d5\u01d6\7g\2\2\u01d6\u01d7\7p\2\2\u01d7Z\3\2\2\2\u01d8"+
		"\u01d9\7g\2\2\u01d9\u01da\7n\2\2\u01da\u01db\7u\2\2\u01db\u01dc\7g\2\2"+
		"\u01dc\\\3\2\2\2\u01dd\u01de\7g\2\2\u01de\u01df\7p\2\2\u01df\u01e0\7f"+
		"\2\2\u01e0\u01e1\7k\2\2\u01e1\u01e2\7h\2\2\u01e2^\3\2\2\2\u01e3\u01e4"+
		"\7n\2\2\u01e4\u01e5\7c\2\2\u01e5\u01e6\7o\2\2\u01e6\u01e7\7d\2\2\u01e7"+
		"\u01e8\7f\2\2\u01e8\u01e9\7c\2\2\u01e9`\3\2\2\2\u01ea\u01eb\7<\2\2\u01eb"+
		"b\3\2\2\2\u01ec\u01ed\7n\2\2\u01ed\u01ee\7g\2\2\u01ee\u01ef\7v\2\2\u01ef"+
		"d\3\2\2\2\u01f0\u01f1\7(\2\2\u01f1f\3\2\2\2\u01f2\u01f3\7c\2\2\u01f3\u01f4"+
		"\7p\2\2\u01f4\u01f5\7f\2\2\u01f5h\3\2\2\2\u01f6\u01f7\7q\2\2\u01f7\u01f8"+
		"\7t\2\2\u01f8j\3\2\2\2\u01f9\u01fa\7z\2\2\u01fa\u01fb\7q\2\2\u01fb\u01fc"+
		"\7t\2\2\u01fcl\3\2\2\2\u01fd\u01fe\7?\2\2\u01fe\u01ff\7@\2\2\u01ffn\3"+
		"\2\2\2\u0200\u0201\7k\2\2\u0201\u0202\7o\2\2\u0202\u0203\7r\2\2\u0203"+
		"\u0204\7n\2\2\u0204\u0205\7k\2\2\u0205\u0206\7g\2\2\u0206\u0207\7u\2\2"+
		"\u0207p\3\2\2\2\u0208\u0209\7p\2\2\u0209\u020a\7q\2\2\u020a\u020b\7v\2"+
		"\2\u020br\3\2\2\2\u020c\u020d\7>\2\2\u020dt\3\2\2\2\u020e\u020f\7@\2\2"+
		"\u020fv\3\2\2\2\u0210\u0211\7@\2\2\u0211\u0212\7?\2\2\u0212x\3\2\2\2\u0213"+
		"\u0214\7>\2\2\u0214\u0215\7?\2\2\u0215z\3\2\2\2\u0216\u0217\7\61\2\2\u0217"+
		"\u0218\7?\2\2\u0218|\3\2\2\2\u0219\u021a\7>\2\2\u021a\u021b\7@\2\2\u021b"+
		"~\3\2\2\2\u021c\u021d\7\61\2\2\u021d\u021e\7<\2\2\u021e\u0080\3\2\2\2"+
		"\u021f\u0220\7>\2\2\u0220\u0221\7<\2\2\u0221\u0082\3\2\2\2\u0222\u0223"+
		"\7-\2\2\u0223\u0084\3\2\2\2\u0224\u0225\7/\2\2\u0225\u0086\3\2\2\2\u0226"+
		"\u0227\7\60\2\2\u0227\u0228\7\60\2\2\u0228\u0088\3\2\2\2\u0229\u022a\7"+
		"~\2\2\u022a\u022b\7/\2\2\u022b\u022c\7@\2\2\u022c\u008a\3\2\2\2\u022d"+
		"\u022e\7E\2\2\u022e\u022f\7a\2\2\u022f\u0230\7}\2\2\u0230\u008c\3\2\2"+
		"\2\u0231\u0232\7`\2\2\u0232\u0233\7}\2\2\u0233\u008e\3\2\2\2\u0234\u0235"+
		"\7G\2\2\u0235\u0236\7]\2\2\u0236\u0090\3\2\2\2\u0237\u0238\7_\2\2\u0238"+
		"\u0092\3\2\2\2\u0239\u023a\7n\2\2\u023a\u023b\7k\2\2\u023b\u023c\7o\2"+
		"\2\u023c\u023d\7a\2\2\u023d\u023e\7}\2\2\u023e\u0094\3\2\2\2\u023f\u0240"+
		"\7,\2\2\u0240\u0096\3\2\2\2\u0241\u0242\7\61\2\2\u0242\u0098\3\2\2\2\u0243"+
		"\u0244\7o\2\2\u0244\u0245\7q\2\2\u0245\u0246\7f\2\2\u0246\u009a\3\2\2"+
		"\2\u0247\u0248\7f\2\2\u0248\u0249\7k\2\2\u0249\u024a\7x\2\2\u024a\u009c"+
		"\3\2\2\2\u024b\u024c\7a\2\2\u024c\u024d\7}\2\2\u024d\u009e\3\2\2\2\u024e"+
		"\u024f\7#\2\2\u024f\u00a0\3\2\2\2\u0250\u0251\7}\2\2\u0251\u00a2\3\2\2"+
		"\2\u0252\u0253\7U\2\2\u0253\u0254\7g\2\2\u0254\u0255\7v\2\2\u0255\u0256"+
		"\7}\2\2\u0256\u00a4\3\2\2\2\u0257\u0258\7U\2\2\u0258\u0259\7g\2\2\u0259"+
		"\u025a\7s\2\2\u025a\u025b\7w\2\2\u025b\u025c\7g\2\2\u025c\u025d\7p\2\2"+
		"\u025d\u025e\7e\2\2\u025e\u025f\7g\2\2\u025f\u0260\7}\2\2\u0260\u00a6"+
		"\3\2\2\2\u0261\u0262\5\u00b5[\2\u0262\u0263\7\60\2\2\u0263\u0264\5\u00b5"+
		"[\2\u0264\u00a8\3\2\2\2\u0265\u026a\7$\2\2\u0266\u0269\n\2\2\2\u0267\u0269"+
		"\5\u00afX\2\u0268\u0266\3\2\2\2\u0268\u0267\3\2\2\2\u0269\u026c\3\2\2"+
		"\2\u026a\u0268\3\2\2\2\u026a\u026b\3\2\2\2\u026b\u026d\3\2\2\2\u026c\u026a"+
		"\3\2\2\2\u026d\u026e\7$\2\2\u026e\u00aa\3\2\2\2\u026f\u0270\7p\2\2\u0270"+
		"\u0271\7w\2\2\u0271\u0272\7n\2\2\u0272\u0273\7n\2\2\u0273\u00ac\3\2\2"+
		"\2\u0274\u0275\7\61\2\2\u0275\u0276\7,\2\2\u0276\u027a\3\2\2\2\u0277\u0279"+
		"\13\2\2\2\u0278\u0277\3\2\2\2\u0279\u027c\3\2\2\2\u027a\u027b\3\2\2\2"+
		"\u027a\u0278\3\2\2\2\u027b\u027d\3\2\2\2\u027c\u027a\3\2\2\2\u027d\u027e"+
		"\7,\2\2\u027e\u027f\7\61\2\2\u027f\u0280\3\2\2\2\u0280\u0281\bW\2\2\u0281"+
		"\u00ae\3\2\2\2\u0282\u0283\7^\2\2\u0283\u0298\t\3\2\2\u0284\u0289\7^\2"+
		"\2\u0285\u0287\t\4\2\2\u0286\u0285\3\2\2\2\u0286\u0287\3\2\2\2\u0287\u0288"+
		"\3\2\2\2\u0288\u028a\t\5\2\2\u0289\u0286\3\2\2\2\u0289\u028a\3\2\2\2\u028a"+
		"\u028b\3\2\2\2\u028b\u0298\t\5\2\2\u028c\u028e\7^\2\2\u028d\u028f\7w\2"+
		"\2\u028e\u028d\3\2\2\2\u028f\u0290\3\2\2\2\u0290\u028e\3\2\2\2\u0290\u0291"+
		"\3\2\2\2\u0291\u0292\3\2\2\2\u0292\u0293\5\u00b3Z\2\u0293\u0294\5\u00b3"+
		"Z\2\u0294\u0295\5\u00b3Z\2\u0295\u0296\5\u00b3Z\2\u0296\u0298\3\2\2\2"+
		"\u0297\u0282\3\2\2\2\u0297\u0284\3\2\2\2\u0297\u028c\3\2\2\2\u0298\u00b0"+
		"\3\2\2\2\u0299\u02a2\5\u00b3Z\2\u029a\u029d\5\u00b3Z\2\u029b\u029d\7a"+
		"\2\2\u029c\u029a\3\2\2\2\u029c\u029b\3\2\2\2\u029d\u02a0\3\2\2\2\u029e"+
		"\u029c\3\2\2\2\u029e\u029f\3\2\2\2\u029f\u02a1\3\2\2\2\u02a0\u029e\3\2"+
		"\2\2\u02a1\u02a3\5\u00b3Z\2\u02a2\u029e\3\2\2\2\u02a2\u02a3\3\2\2\2\u02a3"+
		"\u00b2\3\2\2\2\u02a4\u02a5\t\6\2\2\u02a5\u00b4\3\2\2\2\u02a6\u02a8\t\7"+
		"\2\2\u02a7\u02a6\3\2\2\2\u02a8\u02a9\3\2\2\2\u02a9\u02a7\3\2\2\2\u02a9"+
		"\u02aa\3\2\2\2\u02aa\u00b6\3\2\2\2\u02ab\u02ac\7\u00ab\2\2\u02ac\u00b8"+
		"\3\2\2\2\u02ad\u02ae\7\u00a4\2\2\u02ae\u00ba\3\2\2\2\u02af\u02b0\7\u2023"+
		"\2\2\u02b0\u00bc\3\2\2\2\u02b1\u02b2\7\u20ae\2\2\u02b2\u00be\3\2\2\2\u02b3"+
		"\u02b4\7\u00d9\2\2\u02b4\u00c0\3\2\2\2\u02b5\u02b6\7\u2028\2\2\u02b6\u00c2"+
		"\3\2\2\2\u02b7\u02b8\7\u00b6\2\2\u02b8\u00c4\3\2\2\2\u02b9\u02ba\7\u00d2"+
		"\2\2\u02ba\u00c6\3\2\2\2\u02bb\u02bc\7\u00a3\2\2\u02bc\u00c8\3\2\2\2\u02bd"+
		"\u02be\7\u00a5\2\2\u02be\u00ca\3\2\2\2\u02bf\u02c0\7\u00da\2\2\u02c0\u00cc"+
		"\3\2\2\2\u02c1\u02c2\7\u2022\2\2\u02c2\u00ce\3\2\2\2\u02c3\u02c4\7\u00bd"+
		"\2\2\u02c4\u00d0\3\2\2\2\u02c5\u02c6\7\u00d3\2\2\u02c6\u00d2\3\2\2\2\u02c7"+
		"\u02c8\7\u017f\2\2\u02c8\u00d4\3\2\2\2\u02c9\u02ca\7\u00b0\2\2\u02ca\u00d6"+
		"\3\2\2\2\u02cb\u02cc\7\u2024\2\2\u02cc\u00d8\3\2\2\2\u02cd\u02cf\t\b\2"+
		"\2\u02ce\u02cd\3\2\2\2\u02cf\u02d0\3\2\2\2\u02d0\u02ce\3\2\2\2\u02d0\u02d1"+
		"\3\2\2\2\u02d1\u02d2\3\2\2\2\u02d2\u02d3\bm\3\2\u02d3\u00da\3\2\2\2\u02d4"+
		"\u02d6\t\7\2\2\u02d5\u02d4\3\2\2\2\u02d6\u02d7\3\2\2\2\u02d7\u02d5\3\2"+
		"\2\2\u02d7\u02d8\3\2\2\2\u02d8\u00dc\3\2\2\2\u02d9\u02db\t\t\2\2\u02da"+
		"\u02d9\3\2\2\2\u02db\u02dc\3\2\2\2\u02dc\u02da\3\2\2\2\u02dc\u02dd\3\2"+
		"\2\2\u02dd\u02e1\3\2\2\2\u02de\u02e0\t\n\2\2\u02df\u02de\3\2\2\2\u02e0"+
		"\u02e3\3\2\2\2\u02e1\u02df\3\2\2\2\u02e1\u02e2\3\2\2\2\u02e2\u00de\3\2"+
		"\2\2\u02e3\u02e1\3\2\2\2\u02e4\u02e6\t\13\2\2\u02e5\u02e4\3\2\2\2\u02e6"+
		"\u02e7\3\2\2\2\u02e7\u02e5\3\2\2\2\u02e7\u02e8\3\2\2\2\u02e8\u02e9\3\2"+
		"\2\2\u02e9\u02ea\bp\3\2\u02ea\u00e0\3\2\2\2\23\2\u0268\u026a\u027a\u0286"+
		"\u0289\u0290\u0297\u029c\u029e\u02a2\u02a9\u02d0\u02d7\u02dc\u02e1\u02e7"+
		"\4\2\3\2\b\2\2";
	public static final ATN _ATN =
		new ATNDeserializer().deserialize(_serializedATN.toCharArray());
	static {
		_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
		for (int i = 0; i < _ATN.getNumberOfDecisions(); i++) {
			_decisionToDFA[i] = new DFA(_ATN.getDecisionState(i), i);
		}
	}
}